Artículo
|
A normalisation result for higher-order calculi with explicit substitutions :
|
Bonelli, Eduardo
|
(2003)
|
|
----------
|
Documento de cátedra
|
Curso de ingreso :
|
Universidad Nacional de La Plata. Facultad de Informática
|
2009
2010
2011
2012
2014
2015
2016
2017
2018
2023
2023
2024
|
Domicilio
Sala
|
----------
|
Artículo
|
Decidability via filtration of neighbourhood models for multi-agent systems :
|
Smith, Clara Patricia
|
(2012)
|
|
----------
|
Libro
|
Logic in computer science: modelling and reasoning about systems
|
Huth, Michael
|
2nd ed.
(2004)
|
Domicilio
|
----------
|
Libro
|
Logic of computation:
|
Sin autor
|
1st ed.
(c1997)
|
Domicilio
|
----------
|
Tesis
|
Lógica de pruebas para certificación de computación móvil:
|
Feller, Federico
|
(2009)
|
Sala
|
----------
|
Programa de estudio
|
Lógica y elementos de inteligencia artificial
|
Pons, Claudia Fabiana
|
(2014)
|
|
----------
|
Libro
|
Program construction: calculating implementations from specifications
|
Backhouse, Roland
|
1st ed.
(2003)
|
Domicilio
|
----------
|
Libro
|
The logical basis for computer programming
|
Manna, Zohar
|
(c1985-1990)
|
Domicilio
|
----------
|
Libro
|
Tras los pasos de un hacker
|
Marroquín, Néstor
|
1a ed.
(2010)
|
Domicilio
|
----------
|